Flat maximal parallelism in tissue P systems with promoters

نویسندگان

  • Linqiang Pan
  • Yanfeng Wang
  • Suxia Jiang
  • Bosheng Song
چکیده

Tissue P systems with promoters are distributed parallel computing models inspired by the structure of tissues and the way of communicating substances regulated by promoters. In this work, we consider tissue P systems with promoters working in a flat maximally parallel way, where in each step, in each membrane, a maximal set of applicable rules is chosen and each rule in the set is applied exactly once. It is proved that tissue P systems with at most two promoters associated with any rule and using only symport rules of length 1 are Turing universal. Moreover, a uniform solution to the SAT problem is provided by tissue P systems with at most two promoters associated with any rule and using cell division rules and symport rules of length 1. Key-words: Tissue P system, Promoter, Flat maximal parallelism, SAT problem, Universality

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Signaling P Systems and Verification Problems

We introduce a new model of membrane computing system (or P system), called signaling P system. It turns out that signaling systems are a form of P systems with promoters that have been studied earlier in the literature. However, unlike non-cooperative P systems with promoters, which are known to be universal, noncooperative signaling systems have decidable reachability properties. Our focus in...

متن کامل

Development of extensions of P systems for modelling and simulation of population dynamics

This work presents a new computational approach, based on the formalism of P systems, for modelling and running simulations of animal population dynamics phenomena. Population and ecosystem dynamics models are de ned by the description of processes that involve several elements to be taken into account. Populations include individuals that belong to the same species, while one ecosystem include...

متن کامل

P-227: Functional Analysis of The I.a,I.b, I.c and I.d (PII) Promoters of CYP19 (aromatase) Gene in Granulosa Cells of Polycystic Ovaries Patients and The Role of Letrozole and Antisensearom on CYP19 Gene Expression Inhibition

Background: The key enzyme of estrogen biosynthesis, aromatase cytochrome P450,is encoded by the CYP19 gene.CYP19 plays an important role in the development,function,an regulation of the female reproduction cycle. Thus, it is the potential candidate gene affecting fertility performance in human. CYP19 transcripts are expressed mainly in the ovary,testes,breast,adipose tissue and brain. Tissue e...

متن کامل

Compositional semantics and behavioral equivalences for P Systems

The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Firstly, we consider P Systems with maximal parallelism and without priorities. We define a process algebra, called P Algebra, whose terms model membranes, we equip the algebra with a Labeled Transition System (LTS) obtai...

متن کامل

The Power of Maximal Parallelism in P Systems

We consider the following definition (different from the standard definition in the literature) of “maximal parallelism” in the application of evolution rules in a P system G: Let R = {r1, ...rk} be the set of (distinct) rules in the system. G operates in maximal parallel mode if at each step of the computation, a maximal subset of R is applied, and at most one instance of any rule is used at e...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017